#!/bin/bash
# usage = clean path file
# WARNING : filename = filename sans extension
# exemple : ./clean.sh ./uploads/google/ google

path=$1
filename=$2

cd $path

rm $filename.aux
rm $filename.dvi
rm $filename.log
rm $filename.nav
rm $filename.out
rm $filename.pdf
rm $filename.ps
rm $filename.snm
################ rm $filename.tex
rm $filename.toc
